White Background with Triangle Pattern

Course Descriptions

The Computer Science curriculum prepares students for careers in all areas of the computer industry as well as for graduate studies in computer science and computer related fields. Students have also found a computer science major to be excellent preparation for careers in law, medicine, business administration, industrial engineering, biomedical engineering, and other technical and non-technical fields.

CSSE 373 - Formal Methods in Specification and Design

  • Credit Hours: 4R-0L-4C
  • Term Available: S
  • Graduate Studies Eligible: No
  • Prerequisites: CSSE 230 and MA 275
  • Corequisites: None

Introduction to the use of mathematical models of software systems for their specification and validation. Topics include finite state machine models, models of concurrent systems, verification of models, and limitations of these techniques.

Launch Root Quad
Return to Top